121. Applied ProbabilityComputer Science
Author: \ sponsored by Applied Probability Technical Section-College of the Operations Research Society of America, the Institute of Management Sciences, January 5-7, 1981, Florida Atlantic University, Boca Raton, Florida ; Ralph L. Disney, Teunis J. Ott, editors.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Electronic data processing -- Congresses.,Computer programming -- Congresses.,دادهپردازی -- کنگره ها,برنامهنویسی -- کنگره ها
Classification :
E-Book
,
122. Applied algebra, algebraic algorithms and error-correcting code
Author: / Maria Bras-Amoraos, Tom H�holdt (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Error-correcting codes (Information theory)--Congresses,Algebra--Data processing--Congresses,Algorithms--Congresses
Classification :
QA
,
268
,.
A35
,
2009
123. Applied algebra, algebraic algorithms and error-correcting codes
Author: Marc Fossorier ... [et al.] (eds.).
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Error - correcting codes (Information theory),رمزگان تصحیح خطا,a01,a01,Algebra-- Data processing, Congresses.,Algorithms, Congresses.
Classification :
QA268
.
A35
2006
E-Book
,
124. Applied parallel and scientific computing :
Author: Kristján Jónasson (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Programmation parallèle (Informatique) -- Congrès.
125. Applied parallel computing
Author: / Bo Kaagstr?�m ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel processing (Electronic computers)--Congresses,Science--Data processing--Congresses,Technology--Data processing--Congresses
Classification :
QA
,
76
.
58
,.
P353
,
2006
126. Applied parallel computing : Computations in physics, chemistry and engineering : Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings
Author: Jack Dongarra, Kaj Madsen, Jerzy Wasniewski, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Data processing -- Congresses ، Physics,Data processing -- Congresses ، Chemistry,Data processing -- Congresses ، Engineering
Classification :
QA
76
.
L28
Vol
.
1041
127. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Author: Manuel Nunez ...]et al.[ )eds(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
L28
Vol
.
3236
128. Approximation and online algorithms
Author: Klaus Jansen, Roberto Solis-Oba (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Approximation theory-- Data processing, Congresses,Computer algorithms, Congresses,Mathematical optimization, Congresses
Classification :
QA76
.
9
.
A43
W36
2011
129. Arabic and Chinese Handwriting Recognition
Author: \ David Doermann, Stefan Jaeger (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Optical character recognition devices -- Congresses.,Writing, Arabic -- Data processing -- Congresses.,ابزار نوری بازشناسی کاراکتر -- کنگره ها,خط عربی -- داده پردازی -- کنگره ها
Classification :
E-Book
,
130. Artificial intellgence and information-control systems of robots-87: proceedings of the fourth international conference on artificial in telligence and information-control systems of robots, smolenice, czechoslovakia, 19-23 October, 1987
Author: edited by Ivan Plander
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Artificial intelligence,Congresses ، Robotics,Congresses ، Electronic data processing,Congresses ، Expert systems )Computer science(,Congresses ، Perceptrons
Classification :
Q
334
.
I55
1987
131. Artificial intelligence and information-control systems of robots-87
Author: edited by Ivan Plander
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Robotics,Congresses ، Electronic data processing,Congresses ، Expert systems )Computer science(,Congresses ، Perception
Classification :
Q
334
.
I55
1987
132. Artificial intelligence expert systems and symbolic computing
Author: / edited by E.N.Houstis and J.R.Rice
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Artificial interlligence - Congresses,Expert systems (Computer science) - Congresses,Electronic data processing - Congresses
Classification :
Q
334
.
I45
1991
133. Artificial intelligence research and development :
Author: edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
Classification :
Q334
.
C37
2008eb
134. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
135. Automated deduction in geometry
Author: / Hoon Hong, Dongming Wang (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
448
,.
D38
,
I577
,
2004
136. Automated deduction in geometry
Author: / Francisco Botana, Tomas Recio (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
448
,.
D38
,
I577
,
2006
137. Automated deduction in geometry
Author: / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
448
,.
D38
,
I577
,
1998
139. BL
Author: edited by Thomas J. Biersteker and Sue E. Eckert.
Library: Library of Islamic Parliament (Tehran)
Subject:
